Unfold `l\_member` 0 THEN Auto THEN All Reduce  THEN ExRepD THEN Auto